521. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
522. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
پدیدآورنده: A. Fuhrmann, M. Morreau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
523. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991
524. The P=NP question and Geodel's lost letter
پدیدآورنده: Richard J. Lipton
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
525. The P=NP question and Geodel's lost letter
پدیدآورنده: / Richard J. Lipton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
526. The essence of logic
پدیدآورنده: Kelly, John Joseph
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
K396
1996
527. The innovation in computing companion :
پدیدآورنده: Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
رده :
QA76
.
5
.
O74
2018
528. The logic of information structures
پدیدآورنده: Wansing, Heinrich T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
529. The logic of information structures
پدیدآورنده: Wansing, Heinrich
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
530. The logic of partial information
پدیدآورنده: Nait Abdallah, Areski
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
531. The logic of partial information
پدیدآورنده: Nait Abdallah, Areski, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
532. The logic of programming
پدیدآورنده: Hehner, Eric C. R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
533. The logic of programming
پدیدآورنده: / Eric C. R. Hehner
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Programming(Electronic computer),Logic,Symbolic and mathematical
رده :
QA
76
.
76
.
H427
1984
534. The logic of programming
پدیدآورنده: Hehner, Eric C. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
535. The logic of programming
پدیدآورنده: Hehner, Eric C R
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
536. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
537. The uncertain reasoner's companion : a mathematical perspective
پدیدآورنده: Paris, J. B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Uncertainty,، Reasoning
رده :
QA
9
.
P26
538. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings
پدیدآورنده: Jim Grundy, Malcolm Newey, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1479
539. Theorem proving with analytic tableaux and related methods :
پدیدآورنده: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
رده :
QA76
.
9
.
A96
P484
1995
540. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
پدیدآورنده: P. Miglioli ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1071
